翻訳と辞書
Words near each other
・ Joan Ridley
・ Joan Rigol i Roig
・ Joan Riley
・ Joan Ritz
・ Joan Riudavets
・ Joan Rivers
・ Joan Riviere
・ Joan Roberts
・ Joan Robinson
・ Joan Robinson Hill
・ Joan Robinson's growth model
・ Joan Roca i Fontané
・ Joan Rodgers
・ Joan Rodker
・ Joan Morrissey
Joan Moschovakis
・ Joan Munar Martínez
・ Joan Murray
・ Joan Murray (art historian)
・ Joan Murray (disambiguation)
・ Joan Murray (journalist)
・ Joan Murray (skydiver)
・ Joan Murrell Owens
・ Joan Muysken
・ Joan Muñoz
・ Joan Myers Brown
・ Joan N. Ericksen
・ Joan Nathan
・ Joan Neiman
・ Joan Nesbit


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Joan Moschovakis : ウィキペディア英語版
Joan Moschovakis

Joan Rand Moschovakis is a logician and mathematician focusing on intuitionistic logic and mathematics. She is professor emerita at Occidental College〔(【引用サイトリンク】title=Joan Rand Moschovakis - Occidental College - The Liberal Arts College in Los Angeles )〕 and a guest at UCLA.〔(【引用サイトリンク】title=Joan Moschovakis )
Moschovakis earned her Ph.D. from the University of Wisconsin–Madison in 1965 under the direction of Stephen Kleene, with a dissertation entitled ''Disjunction, Existence and
*-Eliminability in Formalized Intuitionistic Analysis''.
Moschovakis is married to Yiannis Moschovakis, with whom she gave the 2014 Lindström Lectures at the University of Gothenburg.〔(【引用サイトリンク】title=The Lindström Lectures - Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden )
==Selected Publications==

* The Logic of Brouwer and Heyting, a chapter in ''Logic from Russell to Church'', Volume 5 of the Handbook of the History of Logic, ed. Woods and Gabbay, Elsevier, 2009.
* Intuitionistic Logic, in Stanford Encyclopedia of Philosophy, 2014.
* Relative Lawlessness in Intuitionistic Analysis, Journal of Symbolic Logic, 1987.
* Can There be No Nonrecursive Functions?, Journal of Symbolic Logic, 1971.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Joan Moschovakis」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.